# -*- mode: snippet -*-
# name: within
# key: within
# contributor: Shuguang Sun
# --
$1 <- within($1, $0)